2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Modellierung
Автор:
Kastens Uwe
, Автор:
Kleine Büning Hans
Категория:
fiction
Размер книги: 2.89 Mb
A Survey of Recent Advances in SAT-Based Formal Verification
Автор:
Hans Kleine Büning
, Автор:
Theodor Lettmann
Размер книги: 181 Kb
CSL '88 Computer Science Logic 2 conf
Автор:
Egon Börger
, Автор:
Hans Kleine Büning
, Автор:
Michael M. Richter
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 2.87 Mb
Computer Science Logic, 6 conf., CSL '92
Автор:
Egon Börger
, Автор:
Gerhard Jäger
, Автор:
Hans Kleine Büning
, Автор:
Simone Martini
, Автор:
Michael M. Richter
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.83 Mb
Computer Science Logic, 4 conf., CSL '90
Автор:
Egon Börger
, Автор:
Hans Kleine Büning
, Автор:
Michael M. Richter
, Автор:
Wolfgang Schönfeld
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.67 Mb
CSL '87 Computer Science Logic 1 conf
Автор:
Egon Börger
, Автор:
Hans Kleine Büning
, Автор:
Michael M. Richter
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.20 Mb
Computer Science Logic, 5 conf., CSL '91
Автор:
Egon Börger
, Автор:
Gerhard Jäger
, Автор:
Hans Kleine Büning
, Автор:
Michael M. Richter
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.80 Mb
CSL '89 Computer Science Logic 3 conf
Автор:
Egon Börger
, Автор:
Hans Kleine Büning
, Автор:
Michael M. Richter
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.21 Mb
Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Автор:
Hans Kleine Büning
, Автор:
Xishun Zhao
Размер книги: 3.58 Mb